1. Axiomatic projective geometry
پدیدآورنده : Heyting, Arend,
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Geometry, Projective
رده :
QA
554
.
H48
2. Closure properties and kripke models for fragments of heyting arithmetic
پدیدآورنده : by: Morteza Moniri,^AMoniri, Morteza
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Intuitionistic mathematics,Constructive mathematics,Logic, Symbolic and mathematical,Arithmetic,Kripke, Saul A., 1940-,Heyting, Arend, 1898-,Model theory
3. Collected works
پدیدآورنده : Brouwer, Luitzen Egbertus Jan
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Mathematics
رده :
QA
3
.
B86
1975
4. Collected works
پدیدآورنده : / L. E. J. Brouwer
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Mathematics - Collected works
رده :
510
.
8
B876
1975
5. Collected works.
پدیدآورنده : L.E.J. Brouwer ; edited by A. Heyting.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics.
6. Intuitionism :
پدیدآورنده : A. Heyting
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Intuitionistic mathematics
رده :
QA9
.
H46
1971
7. Intuitionism.An introduction.
پدیدآورنده : Heyting, A.)Arend( 8981-
کتابخانه: Library of Mofid University (Qom)
موضوع :
رده :
QA
9
.
H4
I5
1976
8. Intuitionism : An introduction
پدیدآورنده : Heyting, Arend, 8981-0891
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
H49I5
9. Intuitionism. An introduction
پدیدآورنده : Heyting, Arend
موضوع : ، Intuitionistic mathematics
۴ نسخه از این کتاب در ۳ کتابخانه موجود است.
10. Intuitionism:an introduction
پدیدآورنده : HEYTING,AREND
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : INTUITIONISTIC MATHEMATICS
رده :
QA
9
.
H46
1971
11. Intuitionism; an introduction
پدیدآورنده : / A. Heyting
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Intuitionistic mathematics
رده :
511
.
2
H621
12. Semantical investigations in Heyting's intuitionistic logic
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
47
.
G22S4
